#pragma once

#include <base.h>
/* 这个抽象还得再重构 */

static inline word_t rdcnt_relax()
{
	word_t time;
	asm volatile("mrs %0, cntvct"
			: "=r"(time));
	return time;
}

static inline word_t rdcnt()
{
	return rdcnt_relax();
}